Tower of Field Extensions
Definition
A tower of fields or tower of field extensions is a sequence of field extensions
\[ \mathbb{F}_0 \subseteq \mathbb{F}_1 \subseteq \dots \subseteq \mathbb{F}_n \subseteq \dots\]
When working with a tower of extensions, there are many useful results about the relationships between the extensions. These include